On semantics of petri nets over partial algebra

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1725, Issue , 1999, Pages 414-422

  Juhás, Gabriel ^a  

^a Fach Informatik   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; EQUIVALENCE CLASSES; GROUP THEORY; INFORMATION SCIENCE; SEMANTICS;

ABELIAN GROUP; ALGEBRAIC OPERATIONS; LINEAR IMAGES; LINEAR OPERATIONS; PARTIAL ALGEBRA; PARTIAL GROUPOIDS; TRANSITION FIRINGS; TRANSITION SYSTEM;

PETRI NETS;

EID: 84957663371     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-47849-3_29     Document Type: Conference Paper

References (12)

1. L. Bernardinello and F. De Cindio. A Survey of Basic Models and Modular Net Classes. In Advances in Petri Nets 1992, LNCS 609, pp. 304-351, 1992.
2. P. Braun. Ein allgemeines Petri-netz. Master's thesis, Univ. of Frankfurt, 1992.
3. J. Desel and W. Reisig. Place/Transition Petri Nets. In Lectures on Petri nets I: Basic Models, LNCS 1491, pp. 123-174, 1998.
4. R. Devillers. The Semantics of Capacities in P/T Nets. In Advances in Petri Nets 1989, LNCS 424, pp. 128-150, 1990.
5. M. Droste and R. M. Shrott. Petri Nets and Automata with Concurrency Relation|an Adjunction. In M. Droste and Y. Gurevich (eds) Semantics of Pro- gramming Languages and Model Theory, Gordon and Breach Sc. Publ., pp. 69-87, 1993.
6. M. Hack. Petri Nets and Commutative Semigroups. Computation Structures Note No. 18, Project MAC, M.I.T., July 1974.
7. H. J. Hoogeboom and G. Rozenberg. Diamond properties of elementary net systems. Fundamenta Informaticae, 16:287-300, 1991.
8. G. Juhás. The essence of Petri nets and transition systems through Abelian groups. Electronic Notes in Theoretical Computer Science, 18, 1998.
9. G. Juhás. Reasoning about algebraic generalisation of Petri nets. In Proc. of 20thInternational Conference on Theory and Application of Petri Nets, Williamsburg, VA, USA, Springer, LNCS 1639, pp. 324-343, 1999.
10. J. Meseguer and U. Montanari. Petri nets are monoids. Information and Computation, 88(2):105-155, October 1990.
11. J. Padberg. Abstract Petri Nets: Uniform Approach and Rule-Based Refinement. PhD thesis, Technical University of Berlin, 1996.
12. P. Tix. One FIFO place realizes zero-testing and Turing machines. Petri net Newsletter, 51, 12, 1996.