[AIP INTELLIGENT SYSTEMS AND AUTOMATION: 2nd Mediterranean Conference on Intelligent Systems and Automation (CISA’09) - Zarzis (Tunisia) (23–25 March 2009)] AIP Conference Proceedings - Maximality-Based Structural Operational Semantics for Petri Nets
Saïdouni, Djamel Eddine, Belala, Nabil, Bouneb, Messaouda, Beji, Lotfi, Otmane, Samir, Abichou, AzgalYear:
2009
DOI:
10.1063/1.3106484
File:
PDF, 535 KB
2009