Publisher
Springer Science and Business Media LLC
Subject
Computer Networks and Communications,Information Systems,Software
Reference16 articles.
1. Biere, A., Cimatti, A., Clarke, E., Zhu, Y.: Symbolic model checking without BDDs. In: Proceedings of the 5th International Conference on Tools and Algorithms for Construction and Analysis of Systems, LNCS 1579, pp. 193–207. Springer (1999)
2. Best E., Devillers R.: Sequential and concurrent behaviour in Petri net theory. Theor. Comput. Sci. 55(1), 87–136 (1987)
3. Best E., Darondeau P.: A decomposition theorem for finite persistent transition systems. Acta Informatica 46, 237–254 (2009)
4. Bonizzoni, P., Mauri, G., Pighizzini, G.: About infinite traces. In: Proceedings of the ASMICS Workshop on Partially Commutative Monoids, Tech. Rep. TUM-I 9002, Technische Universität München (1989)
5. Burkhard, H.-D.: The Maximum Firing Strategy in Petri nets gives more power. ICS-PAS Report no. 411: pp. 24–26, Warschau (1980)