3,274 Hits in 5.7 sec

Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets [chapter]

Hubert Garavel
2015 Lecture Notes in Computer Science  
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

Andrei Karatkevich, Grzegorz Andrzejewski
2006 2006 International Conference - Modern Problems of Radio Engineering, Telecommunications, and Computer Science  
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

Hubert Garavel
2019 Journal of Logical and Algebraic Methods in Programming  
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

Gen'ichi Yasuda
2010 Journal of Software Engineering and Applications  
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

Gen'ichi Yasuda
2010 2010 IEEE International Conference on Control Applications  
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  
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

Yojiro Harie, Katsumi Wasaki
2017 Proceedings of the 7th International Conference on Simulation and Modeling Methodologies, Technologies and Applications  
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  
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

Euisu Park, D.M. Tilbury, P.P. Khargonekar
2001 IEEE Transactions on Systems Man and Cybernetics Part C (Applications and Reviews)  
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]

W. M. P. van der Aalst
2000 Lecture Notes in Computer Science  
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

Remigiusz Wisniewski, Iwona Grobelna, Andrei Karatkevich
2020 Sensors  
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

Lijun Song, Yingying Fu, Jiafu Su, Kangqu Zhou, Mei Long
2021 IEEE Access  
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]

Jürgen Tacken
1999 Distributed and Parallel Embedded Systems  
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

Ryszard Mielnik, Zofia Wróbel, A. Szeląg, K. Karwowski, H. Gold, A. Żurkowski
2018 MATEC Web of Conferences  
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]

Joshua Taylor, Ian Parberry
2011 Lecture Notes in Computer Science  
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