Process 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 1825, Issue , 2000, Pages 146-165

  Desel, Jörg ^a   Juhás, Gabriel ^a   Lorenz, Robert ^a  

^a CATHOLIC UNIVERSITY OF EICHSTÄTT INGOLSTADT   (Germany)

Author keywords

[No Author keywords available]

Indexed keywords

ALGEBRA; EQUIVALENCE CLASSES; SEMANTICS;

ALGEBRAIC APPROACHES; CONCURRENT COMPOSITION; ELEMENTARY NET SYSTEM; EQUIVALENCE NOTIONS; ISOMORPHISM CLASS; PETRI NETS ARE MONOIDS; PLACE/TRANSITION PETRI NETS; PROCESS SEMANTICS;

PETRI NETS;

EID: 84947291940     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44988-4_10     Document Type: Conference Paper

References (11)

1. E. Best and R. Devillers. Sequential and Concurrent Behaviour in Petri Net Theory. Theoretical Computer Science, 55, pp. 87-136, 1987.
2. P. Burmeister. Lecture Notes on Universal Algebra - Many Sorted Partial Algebras. Technical Report, TU Darmstadt, 1998.
3. E. Degano, J. Meseguer and U. Montanari. Axiomatizing the Algebra of Net Computations and Processes. Acta Informatica, 33(7), pp. 641-667, 1996.
4. R. Janicki and M. Koutny. Semantics of Inhibitor Nets. Information and Compu- tations, 123, pp. 1-16, 1995.
5. G. Juh_as. Reasoning about algebraic generalisation of Petri nets. In S. Donatelli and J. Klein (Eds.) Proc. of 20th International Conference on Application and Theory of Petri Nets, Springer, LNCS 1639, pp. 324-343, 1999.
6. G. Juhás. On semantics of Petri nets over partial algebra. In J. Pavelka, G. Tel and M. Bartosek (Eds.) Proc. of 26th Seminar on Current Trends in Theory and Practice of Informatics SOFSEM'99, Springer, LNCS 1725, pp. 408-415, 1999.
7. J. Meseguer and U. Montanari. Petri Nets are Monoids. Information and Com- putation, 88(2):105-155, October 1990.
8. U. Montanari and F. Rossi. Contextual Nets. Acta Informatica, 32(6), pp. 545-596, 1995.
9. G. Rozenberg and J. Engelfriet. Elementary Net Systems. In W. Reisig and G. Rozenberg (Eds.) Lectures on Petri Nets I: Basic Models, Springer, LNCS 1491, pp. 12-121, 1998.
10. J. Winkowski. Behaviours of Concurrent Systems. Theoretical Computer Science, 12, pp. 39-60, 1980.
11. J. Winkowski. An Algebraic Description of System Behaviours. Theoretical Com- puter Science, 21, pp. 315-340, 1982.