Found 8 Documents (Results 1–8)
Verification of timed-arc Petri nets. (English) Zbl 1298.68175
Černá, Ivana (ed.) et al., SOFSEM 2011: Theory and practice of computer science. 37th conference on current trends in theory and practice of computer science, Nový Smokovec, Slovakia, January 22–28, 2011. Proceedings. Berlin: Springer (ISBN 978-3-642-18380-5/pbk). Lecture Notes in Computer Science 6543, 46-72 (2011).
Petrinets in categorical frameworks of monads. (English) Zbl 1207.68225
Hasan, Yahya Abu (ed.) et al., Proceedings of the 5th Asian mathematical conference (AMC), June 22–26, 2009, Kuala Lumpur, Malaysia. Vol. II: Applied Mathematics. Penang: Universiti Sains Malaysia, School of Mathematical Sciences (ISBN 978-967-5417-54-2/CD). 578-583 (2009).
MSC:
68Q85
M-nets: a survey. (English) Zbl 1178.68366
MSC:
68Q85
FM - a pragmatic tool to model, analyse and predict complex behaviour of industrial systems. (English) Zbl 1198.74103
Filter Results by …
Document Type
- Journal Articles (6)
- Collection Articles (2)
all
top 5
Author
- Jacobsen, Lasse (2)
- Jacobsen, Morten (2)
- Møller, Mikael Harkjær (2)
- Srba, Jiří (2)
- Baldan, Paolo (1)
- Blume, Holger (1)
- Bosi, Gianni (1)
- Byg, Joakim (1)
- Cocco, Nicoletta (1)
- Herden, Gerhard (1)
- Jørgensen, Kenneth Yrke (1)
- Kansal, Sangita (1)
- Klaudel, Hanna (1)
- Kumar, Dinesh Kant (1)
- Kumar, Pradeep (1)
- Marin, Andrea (1)
- Noll, T. G. (1)
- Pommereau, Franck (1)
- Sharma, Raj Kumar (1)
- Simeoni, Marta (1)
- von Sydow, T. (1)