For the most recent entries see the Petri Nets Newsletter.

A General Systematic Approach to Arc Extensions for Coloured Petri Nets.

Lakos, Charles A.; Christensen, Søren

In: Technical Report 93-8, Dept. of Computer Science, University of Tasmania. 1993.

Also in: Valette, R.: Lecture Notes in Computer Science, Vol. 815; Application and Theory of Petri Nets 1994, Proceedings 15th International Conference, Zaragoza, Spain, pages 338-357. Springer-Verlag, 1994. Available at

Abstract: This paper proposes an approach to arc extensions in CP-nets which is claimed to be both general and systematic. It is general because the enabling rules cater for true concurrency as well as an interleaving semantics and because it encompasses the other proposals for arc extensions that have been made recently in the Petri Net literature, often in the context of the requirements of specific application domains. It is systematic because it proposes a set of fundamental arcs in the context of a general complementary place construction and then considers how these arcs can be combined in arbitrary ways. Because of the utility of some of these compound arcs and the minimal overhead in implementing them, it is argued that CP-net tools should provide explicit support for them

Do you need a refined search? Try our search engine which allows complex field-based queries.

Back to the Petri Nets Bibliography