Homogeneous equations of algebraic Petri nets

Leibniz International Proceedings in Informatics, LIPIcs

Volumn 59, Issue , 2016, Pages

  Triebel, Marvin ^a   Sürmeli, Jan ^a  

^a HUMBOLDT UNIVERSITY   (Germany)

Author keywords

Algebraic Petri nets; Invariants; Linear equations; Stability; Validity

Indexed keywords

ALGEBRA; COMPUTABILITY AND DECIDABILITY; CONVERGENCE OF NUMERICAL METHODS; DATA FLOW ANALYSIS; GROUP THEORY; PETRI NETS;

ALGEBRAIC PETRI NETS; ALGEBRAIC SPECIFICATIONS; DISTRIBUTED SYSTEMS; EXPRESSIVE POWER; HOMOGENEOUS EQUATIONS; INVARIANTS; PETRI NET MODELS; VALIDITY;

LINEAR EQUATIONS;

EID: 85012866663     PISSN: 18688969     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4230/LIPIcs.CONCUR.2016.14     Document Type: Conference Paper

References (17)

1. Ahmed Bouajjani, Cezara Dragoi, Constantin Enea, Ahmed Rezine, and Mihaela Sighireanu. Invariant synthesis for programs manipulating lists with unbounded data. In CAV'10, volume 6174 of LNCS, pages 72-88. Springer, 2010.
2. Hartmut Ehrig and Wolfgang Reisig. An algebraic view on petri nets. Bulletin of the EATCS, 61, 1997.
3. Javier Esparza and Philipp Hoffmann. Reduction rules for colored workflow nets. In FASE'16, volume 9633 of LNCS, pages 342-358. Springer, 2016.
4. Javier Esparza, Ruslán Ledesma-Garza, Rupak Majumdar, Philipp J. Meyer, and Filip Niksic. An smt-based approach to coverability analysis. In CAV'14, volume 8559 of LNCS, pages 603-619. Springer, 2014.
5. Hartmann J. Genrich and Kurt Lautenbach. Special issue semantics of concurrent computation system modelling with high-level petri nets. Theoretical Computer Science, 13(1):109-135, 1981.
6. Piotr Hofman, Slawomir Lasota, Ranko Lazic, Jérôme Leroux, Sylvain Schmitz, and Patrick Totzke. Coverability trees for petri nets with unordered data. In FOSSACS'16, pages 445- 461, 2016.
7. Kurt Jensen and Lars Michael Kristensen. Coloured Petri Nets - Modelling and Validation of Concurrent Systems. Springer, 2009.
8. Kurt Jensen and Lars Michael Kristensen. Colored petri nets: a graphical language for formal modeling and validation of concurrent systems. Commun. ACM, 58(6):61-70, 2015.
9. Gérard Memmi and Jacques Vautherin. Analysing nets by the invariant method. In Petri Nets: Central Models and Their Properties, pages 300-336, 1986.
10. Marvin L. Minsky. Computation: Finite and Infinite Machines. Prentice-Hall, Inc., Upper Saddle River, NJ, USA, 1967.
11. Wolfgang Reisig. Understanding Petri Nets - Modeling Techniques, Analysis Methods, Case Studies. Springer, 2013.
12. Pierre-Alain Reynier and Arnaud Sangnier. Weak time petri nets strike back! In CONCUR' 09, pages 557-571, 2009.
13. Fernando Rosa-Velardo, María Martos-Salgado, and David de Frutos-Escrig. Accelerations for the coverability set of petri nets with names. Fundam. Inform., 113(3-4):313-341, 2011.
14. Ognjen Savkovic, Elisa Marengo, and Werner Nutt. Query stability in monotonic dataaware business processes. In ICDT'16, volume 48 of LIPIcs, pages 16:1-16:18. Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016.
15. Karsten Schmidt. Verification of siphons and traps for algebraic petri nets. In ICATPN'97, pages 427-446, 1997.
16. M. Triebel and J. Sürmeli. Homogeneous Equations of Algebraic Petri Nets. ArXiv e-prints, June 2016. arXiv:1606.05490.
17. T.A. Whitelaw. An introduction to abstract algebra. Blackie, 1978.