Asynchronous links in the PBC and M-nets

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

Volumn 1742, Issue , 1999, Pages 190-200

  Klaudel, Hanna ^a   Pommereau, Franck ^a  

^a UNIVERSITÉ PARIS EST CRÉTEIL   (France)

Author keywords

M net; Petri box calculus; Petri net; Semantics; Timed specification

Indexed keywords

PETRI NETS; SEMANTICS;

ALGEBRAIC PROPERTIES; ASYNCHRONOUS COMMUNICATION; ASYNCHRONOUS LINKS; HIGH-LEVEL PETRI NETS; M-NET; PETRI BOX; TIMING CONSTRAINTS;

CALCULATIONS;

EID: 84958772685     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46674-6_17     Document Type: Conference Paper

References (15)

1. V. Benzaken, N. Hugon, H. Klaudel, E. Pelz, and R. Riemann. M-net Based Semantics for Triggers. ICPN’98 LNCS Vol. 1420 (1998).
2. E. Best. A Memory Module Specification using Composable High Level Petri Nets. Formal Systems Specification, The RPC-Memory Specification Case Study, LNCS Vol. 1169 (1996).
3. E. Best, R. Devillers, and J. Esparza. General Refinement and Recursion for the Box Calculus. STACS’93. Springer, LNCS Vol. 665, 130-140 (1993).
4. E. Best, R. Devillers, and J.G. Hall. The Box Calculus: a New Causal Algebra with Multilabel Communication. APN’92. Springer, LNCS Vol. 609, 21-69 (1992).
5. E. Best and H. Fleischhack, editors. PEP: Programming Environment Based on Petri Nets. Number 14/95 in Hildesheimer Informatik-Berichte. Univ. Hildesheim (1995).
6. E. Best, W. Fraczak, R.P. Hopkins, H. Klaudel, and E. Pelz. M-nets: an Algebra of High Level Petri Nets, with an Application to the Semantics of Concurrent Programming Languages. Acta Informatica:35 (1998).
7. E. Best, R.P. Hopkins. B(PN)2-a Basic Petri Net Programming Notation. PARLE’93. Springer, LNCS Vol. 694, 379-390 (1993).
8. R. Devillers and H. Klaudel. Refinement and Recursion in a High Level Petri Box Calculus. STRICT’95. Springer, ViC, 144-159 (1995).
9. R. Devillers, H. Klaudel and R.-C. Riemann. General Refinement for High Level Petri Nets. FST & TCS’97, Springer, LNCS Vol. 1346, 297-311 (1997).
10. R. Durchholz. Causality, time, and deadlines. Data & Knowledge Engineering, 6:496-477 (1991).
11. H. Fleischhack and B. Grahlmann. A Petri Net Semantics for B(PN)2 with Procedures. Parallel and Distributed Software Engineering, Boston Ma. (1997).
12. H. Klaudel and R.-C. Riemann. Refinement Based Semantics of Parallel Procedures. In proceedings of PDPTA’99 (1999).
13. M. Koutny, J. Esparza, E. Best. Operational Semantics for the Petri Box Calculus. CONCUR’94. Springer, LNCS Vol. 836, 210-225 (1994).
14. J. Lilius and E. Pelz. An M-net Semantics for B(PN)2 with Procedures. ISCIS XI, Antalya, Vol. I, 365-374 (1996).
15. G. Richter. Counting interfaces for discrete time modeling. Technical Report repset-1998-26, GMD-German National Research Center for Information Technology, SET (1998).