A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
Filters
Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets
[chapter]
2015
Lecture Notes in Computer Science
Preserved Fulltext
Specifically, the LOTOS compiler uses two different types of hierarchically-structured nets: an interpreted Petri net (which comprises variables, expressions, assignments, guards, etc.) and an elementary ...
(Nested-Unit Petri Net) in 2013. ...
Alexander Graf-Brill simplified the counterexample given for item 3 of Prop. 7. ...
doi:10.1007/978-3-319-19488-2_9
fatcat:smgybsip3fgx3ay2ac3don7o4a
Hierarchical Decomposition of Petri Nets for Digital Microsystems Design
2006
2006 International Conference - Modern Problems of Radio Engineering, Telecommunications, and Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
The paper is dedicated to hierarchical Petri nets with application to design of control devices. It consists of two parts. ...
The second part presents an approach to specification of a digital control system behavior by means of hierarchical Petri nets. ...
Below we describe a method that allows transforming a flat safe Petri net into a hierarchical one. ...
doi:10.1109/tcset.2006.4404613
fatcat:qw4n4cbyinchjj6gce6aarps2i
Nested-unit Petri nets
2019
Journal of Logical and Algebraic Methods in Programming
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
This article presents an extension of Petri nets, in which places can be grouped into so-called "units" expressing sequential components. ...
Units can be recursively nested to reflect both the concurrent and hierarchical nature of complex systems. ...
Specifically, CAESAR uses two different types of hierarchically structured nets: an interpreted Petri net, which comprises variables, expressions, assignments, guards, etc. ...
doi:10.1016/j.jlamp.2018.11.005
fatcat:5let5psyerewbizrovxxzzqrju
Implementation of Hierarchical and Distributed Control for Discrete Event Robotic Manufacturing Systems
2010
Journal of Software Engineering and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2014; you can also visit the original URL.
The file type is application/pdf.
In this paper, a methodology is presented using Petri nets for hierarchical and distributed control. ...
The Petri net representation of discrete event manufacturing processes is decomposed and distributed into the machine controllers, which are coordinated through communication between the coordinator and ...
According to these rules, the number of tokens in a place never exceeds one, thus, the Petri net is essentially a safe graph. ...
doi:10.4236/jsea.2010.35049
fatcat:pqjuox3tnvavnplcs3zi3oe4se
Petri net based implementation of hierarchical and distributed control for discrete event robotic manufacturing systems
2010
2010 IEEE International Conference on Control Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
The Petri net was modified so that the system is safe. ...
The refinement mechanism allows the building of hierarchically structured net models which leads to the implementation of hierarchical and distributed control. ...
Petri Net Model Based Implementation of Hierarchical and Distributed Control for Discrete Event Robotic Manufacturing Cells, Advances in Petri Net Theory and Applications, Tauseef Aized (Ed.), ISBN: 978 ...
doi:10.1109/cca.2010.5611183
dblp:conf/IEEEcca/Yasuda10
fatcat:hpb3lmalcvewdoi5vguiko7br4
Page 7284 of Mathematical Reviews Vol. , Issue 2004i
[page]
2004
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
Summary: “Fehling’s hierarchical Petri nets are a net modelling framework based on refinement and abstraction of nets. Object Petri nets are a Petri net-based method of encapsulation. ...
We bring these two domains together in the new concept of hierarchical ob- ject Petri nets. ...
Hierarchical Petri Net Simulator: Simulation, Design Validation, and Model Checking Tool for Hierarchical Place/Transition Petri Nets
2017
Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
HiPS supports hierarchical modeling and can analyze the dynamic and structural properties of a Petri net by generating state spaces. ...
This paper introduces the Hierarchical Petri net Simulator (HiPS), a Petri net design tool implemented using C# and C++, the .NET Framework, and an interprocess communication channel. ...
CONCLUSION In this paper, we have shown how the HiPS tool can be used to simulate hierarchical modeling of Petri nets and analyze the structural and dynamic properties of Petri nets. ...
doi:10.5220/0006463803560361
dblp:conf/simultech/HarieW17
fatcat:4kyk4eytvnaj7f5yhu35fjfnne
Page 2373 of Mathematical Reviews Vol. , Issue 95d
[page]
1995
Mathematical Reviews
Preserved Fulltext
The Internet Archive has digitized a microfilm copy of this work. It may be possible to borrow a copy for reading.
It turns out that this limited event structure semantics for Petri nets is nevertheless a nontrivial and conservative extension of the (prime) event structure semantics of 1-safe Petri nets provided by ...
We also show that the
68R Discrete mathematics in relation to computer science
954:68108
strong relationship between prime event structures and 1-safe Petri nets established in a categorical framework ...
A modeling and analysis methodology for modular logic controllers of machining systems using Petri net formalism
2001
IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2001; you can also visit the original URL.
The file type is application/pdf.
In our formal representation, each control module is represented by a live, safe, and reversible Petri net. ...
In this paper, a uni ed formal representation of logic controllers with three control modes is provided using Petri nets. ...
The Petri nets for station logic controllers can be represented simply by using the hierarchical structures of operation modules. ...
doi:10.1109/5326.941841
fatcat:nfiqwcpuvvczbnmzsgubidnq3i
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
[chapter]
2000
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
This analysis method exploits the structure of the Petri net to find potential errors in the design of the workflow. ...
Therefore, the need for analysis methods to verify the correctness of workflows is becoming more prominent. In this chapter we present a method based on Petri nets. ...
Acknowledgements The author would like to thank Marc Voorhoeve and Twan Basten for their valuable suggestions and all the other people involved in the development of Woflan, in particular Eric Verbeek ...
doi:10.1007/3-540-45594-9_11
fatcat:c7coehvsdbhtzavfgnwswgvufm
Determinism in Cyber-Physical Systems Specified by Interpreted Petri Nets
2020
Sensors
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2020; you can also visit the original URL.
The file type is application/pdf.
In particular, the control interpreted Petri nets (CIPNs) are applied, which are an extension of the ordinary Petri nets, supplemented by signals (related to sensors and actuators) that permit communication ...
In this paper, we study selected aspects of determinism in the control part of a cyber-physical system (CPS) that is specified by a Petri net-based model. ...
Conflicts of Interest: The authors declare no conflict of interest. ...
doi:10.3390/s20195565
pmid:32998420
pmcid:PMC7582862
fatcat:tg7syz3rknawxe5jcdy7rvvsmy
A Novel Modeling Method of the Crowdsourcing Design Process for Complex Products Based an Object-oriented Petri Net
2021
IEEE Access
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2021; you can also visit the original URL.
The file type is application/pdf.
Motivated by modeling the collaborative business process of crowdsourcing design in complex products, a crowdsourcing hierarchical process modeling approach based on an object-oriented Petri net is proposed ...
INDEX TERMS Crowdsourcing, process modeling, object-oriented, Petri net, design structure matrix. 41430 This work is licensed under a Creative Commons Attribution 4.0 License. ...
(p i ) = 1, so place P i is safe. ...
doi:10.1109/access.2021.3065360
fatcat:mitbvzl6vrfuxoyh7yfjg4veue
Using Extended Predicate/Transition-Nets for the Specification, Analysis and Synthesis of Embedded Real-Time Systems
[chapter]
1999
Distributed and Parallel Embedded Systems
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
If this upper limit is equal to 1 the place is called safe. If all places are bound/safe than the whole net is bound/safe. ...
For safeness or boundness it holds that the Prff-Net is bound/safe if the abstracted petri net is bound/safe. But if the abstracted net is unbounded/unsafe the Prff-Net may be bound/safe. ...
doi:10.1007/978-0-387-35570-2_4
fatcat:inji7ovkuvakda7blr2lpmac4y
Integrated power supply system for station equipment of rail traffic control
2018
MATEC Web of Conferences
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf.
The net was subject to reduction resulting in an ARS controller hierarchical simplified MPN. ...
Useful tools for the formal modeling of such systems can be Petri Nets. These nets are a graphical and formal tool for modeling, formal analysis, and design of discrete event systems. ...
Fig. 5 shows the blockdiagram of the ARS controller with the macro transition MT1 from the hierarchical simplified Marked Petri Net. ...
doi:10.1051/matecconf/201818005004
fatcat:ukldxei62ndi5kpnql7jnb6rey
Randomness + Structure = Clutter: A Procedural Object Placement Generator
[chapter]
2011
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2018; you can also visit the original URL.
The file type is application/pdf.
We describe a procedural clutter generator that achieves believable, varied, and controllable object placement using a hierarchical colored Petri net capable of expressing any computable set of object ...
Clutter is the random yet structured placement of objects in a room. ...
This defaults to 1 which means it will fire if picked. The pages of hierarchical Petri nets make running the net somewhat difficult. To avoid that, we instead unroll the net into a single page. ...
doi:10.1007/978-3-642-24500-8_57
fatcat:7ao4yiasf5hgjd3yryxmuqq6fu
« Previous
Showing results 1 — 15 out of 3,274 results