On the synthesis of Zero-Safe nets

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

Volumn 5065 LNCS, Issue , 2008, Pages 409-426

  Darondeau, Philippe ^a  

^a CAMPUS DE BEAULIEU   (France)

Author keywords

[No Author keywords available]

Indexed keywords

GRAPH THEORY; TRANSLATION (LANGUAGES);

(SEMI)AUTOMATA; HEIDELBERG (CO); SPRINGER (CO); SYNTHESIS (OF CHIRAL IONIC LIQUIDS); SYNTHESIS PROCEDURE; ZERO-SAFE NETS;

MARINE BIOLOGY;

EID: 45849106144     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-68679-8_25     Document Type: Conference Paper

References (11)

1. Bruni, R., Montanari, U.: Zero-Safe nets, or transition synchronization made simple. In: Proc. Express. ENTCS, vol. 7 (1997)
2. Bruni, R., Montanari, U.: Zero-safe nets: The individual token approach. In: ParisiPresicce, F. (ed.) WADT 1997. LNCS, vol. 1376, pp. 122-140. Springer, Heidelberg (1998)
3. Bruni, R., Montanari, U.: Zero-safe nets: Comparing the collective and individual token approaches. Information and Computation 156, 46-89 (2000)
4. Bruni, R., Montanari, U.: Transactions and Zero-Safe Nets. In: Ehrig, H., Juhás, G., Padberg, J., Rozenberg, G. (eds.) APN 2001. LNCS, vol. 2128, pp. 380-426. Springer, Heidelberg (2001)
5. van der Aalst, W.: Verification of Workflow Nets. In: Azéma, P., Balbo, G. (eds.) ICATPN 1997. LNCS, vol. 1248, pp. 407-426. Springer, Heidelberg (1997)
6. van Hee, K., Serebrenik, A., Sidorova, N., Voorhoeve, M.: Soundness of Resource-Constrained Workflow Nets. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 250-267. Springer, Heidelberg (2005)
7. Acu, B., Reisig, W.: Compensation in Workflow Nets. In: Donatelli, S., Thiagarajan, PS. (eds.) ICATPN 2006. LNCS, vol. 4024, pp. 65-83. Springer, Heidelberg (2006)
8. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; Part I: Basic Notions and the Representation Problem. Acta Informatica 27, 315-342 (1990)
9. Ehrenfeucht, A., Rozenberg, G.: Partial (Set) 2-Structures; Part II: State Spaces of Concurrent Systems. Acta Informatica 27, 343-368 (1990)
10. Mukund, M.: Petri Nets and Step Transition Systems. International Journal of Foundations of Computer Science 3(4), 443-478 (1992)
11. Badouel, E., Darondeau, P.: Theory of Regions. In: Reisig, W., Rozenberg, G. (eds.) APN 1998. LNCS, vol. 1491, pp. 529-586. Springer, Heidelberg (1998)