Half a century after Carl Adam Petri's Ph. D. thesis: A perspective on the field
M Silva - Annual reviews in control, 2013 - Elsevier
It is certainly worth remarking on half a century of a work defining a landmark in Discrete
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
Event Dynamic Systems (DEDS) theory. This invited contribution aims to combine some …
An emerging industrial business model considering sustainability evaluation and using cyber physical system technology and modelling techniques
There is a kind of movement for people to consider sustainability in all their daily activities,
not only in the acquisition of goods and services but including the care for health. This …
not only in the acquisition of goods and services but including the care for health. This …
A framework to evaluate the performance of a new industrial business model
In a new industrial business model, all aspects of sustainability, ie (i) environmental for
reduction of negative impacts of using resources,(ii) economic for viability and profitability of …
reduction of negative impacts of using resources,(ii) economic for viability and profitability of …
Sequential control algorithm in the form of fuzzy interpreted Petri net
L Gniewek - IEEE Transactions on Systems, Man, and …, 2012 - ieeexplore.ieee.org
Fuzzy Petri nets (PNs) discussed in the literature are usually considered as expert systems
involving fuzzy-based reasoning. They are used as decision support or monitoring systems …
involving fuzzy-based reasoning. They are used as decision support or monitoring systems …
Modeling and optimization of hybrid systems for the tweeting factory
In this paper, a predicate transition model for discrete-event systems is generalized to
include continuous dynamics, and the result is a modular hybrid predicate transition model …
include continuous dynamics, and the result is a modular hybrid predicate transition model …
Real-time scheduling of batch systems using Petri nets and linear logic
This paper presents an approach to model, design and verify scenarios of real-time systems
used in the scheduling and global coordination of batch systems. The initial requirements of …
used in the scheduling and global coordination of batch systems. The initial requirements of …
Modeling the supply chain disruptions: A study based on the supply chain interdependencies
MF Blos, PE Miyagi - IFAC-PapersOnLine, 2015 - Elsevier
With the advent of globalization, the number of geographically dispersed firms through the
global supply chain increased. The partnership between those firms contributed to the …
global supply chain increased. The partnership between those firms contributed to the …
Decomposition of first-order hybrid Petri nets for hierarchical control of manufacturing systems
Although hybrid Petri net (HPN) is a popular formalism in modelling hybrid production
systems, the HPN model of large scale systems gets substantially complicated for analysis …
systems, the HPN model of large scale systems gets substantially complicated for analysis …
[PDF][PDF] Distributed control systems integration and management with an ontology-based multi-agent system
D Choiński, M Senik - Bulletin of the Polish Academy of Sciences …, 2018 - bibliotekanauki.pl
The purpose of this study is to create, analyze and reuse an ontology-based approach
during implementation of a multi-agent system (MAS) capable of integrating different …
during implementation of a multi-agent system (MAS) capable of integrating different …
Diagnosis and treatment of faults in productive systems based on Bayesian networks and Petri net
RAG Morales, JIG Melo… - 2007 IEEE International …, 2007 - ieeexplore.ieee.org
In this paper, we introduce a procedure for diagnosis and treatment of faults in productive
systems, ie, a supervision strategy that considers not only the normal behavior of system's …
systems, ie, a supervision strategy that considers not only the normal behavior of system's …