Computer tools for construction, modification and analysis of Petri nets-Reference-Cited by-同舟云学术

Computer tools for construction, modification and analysis of Petri nets

Published:1987 Issue: Volume: Page:3-19
ISSN:0302-9743
Container-title:Petri Nets: Applications and Relationships to Other Models of Concurrency
language:
Short-container-title:

Author:

Jensen Kurt

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-17906-2_20.pdf

Reference24 articles.

1. P. Alanche et. al.: PSI. A Petri net based simulator for flexible manufacturing systems. Proceedings of the 5th European Workshop on Applications and Theory of Petri Nets, Aarhus 84, 72–84.

2. M. Beaudouin-Lafon: Petripote. A graphic system for Petri net design and simulation. Proceedings of the 4th European Workshop on Applications and Theory of Petri Nets, Toulouse 83, 20–30.

3. P. Behm: Rafael. A tool for analyzing parallel systems in the L environment. Proceedings of the 6th European Workshop on Applications and Theory of Petri Nets, Espoo 85, 227–253.

4. G. Berthelot: Checking properties of nets using transformations. G. Rozenberg (ed.): Advances in Petri Nets 1985. Lecture Notes of Computer Science 222, Springer-Verlag 86, 19–40.

5. C. Choppy and C. Johnen: PetriReve. Petri net transformations and proofs with rewriting systems. Proceedings of the 6th European Workshop on Applications and Theory of Petri nets, Espoo 85, 255–273.

Cited by 5 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. TOWARDS DIGITAL TWIN-DRIVEN PERFORMANCE EVALUATION METHODOLOGY OF FMS;Applied Computer Science;2022-09-30

2. Petri Net Approach to Automated Modelling and Performance Evaluation for Robotic Assembly Systems;2022 26th International Conference on Methods and Models in Automation and Robotics (MMAR);2022-08-22

3. On the Compatibility of Model and Model-Class Transformations;Recent Trends in Algebraic Development Techniques;2002

4. Petri nets for manufacturing information systems;Practice of Petri Nets in Manufacturing;1993

5. DISCRETE-EVENT CONTROLLED SYSTEMS IN THE CHEMICAL PROCESSING INDUSTRY;Dynamics and Control of Chemical Reactors, Distillation Columns and Batch Processes;1993