Towards a Standard for Modular Petri Nets: A Formalisation-Reference-Cited by-同舟云学术

Towards a Standard for Modular Petri Nets: A Formalisation

Published:2009 Issue: Volume: Page:43-62
ISSN:0302-9743
Container-title:Applications and Theory of Petri Nets
language:
Short-container-title:

Author:

Kindler Ekkart,Petrucci Laure

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/978-3-642-02424-5_5

Reference16 articles.

1. ISO/IEC: Software and Systems Engineering – High-level Petri Nets, Part 1: Concepts, Definitions and Graphical Notation, International Standard ISO/IEC 15909 (2004)

2. Kindler, E., Weber, M.: A universal module concept for Petri nets – an implementation-oriented approach. Informatik-Bericht 150, Humboldt-Universität zu Berlin, Institut für Informatik (2001)

3. Lecture Notes in Computer Science;M. Weber,2003

4. ISO/JTC1/SC7/WG19: Software and Systems Engineering – High-level Petri Nets, Part 2: Transfer Format. FDIS 15909-2 (under ballot), v. 1.3.6, ISO/IEC (2008)

5. Kindler, E.: Modular PNML revisited: Some ideas for strict typing. In: Proc. AWPN 2007, Koblenz, Germany (2007)

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

1. What Petri Nets Oblige us to Say Comparing Approaches for Behavior Composition;IEEE Transactions on Software Engineering;2023-04-01

2. Lifted structural invariant analysis of Petri net product lines;Journal of Logical and Algebraic Methods in Programming;2023-01

3. Chain of Events: Modular Process Models for the Law;Lecture Notes in Computer Science;2020

4. Extending IOPT Nets with a Module Construct;Technological Innovation for Cyber-Physical Systems;2016

5. Generalizing the Compositions of Petri Nets Modules;Fundamenta Informaticae;2015