Properties of Super-Dual Nets

Authors:
Michael Kö/hler;Heiko Rö/lke
Affiliations:
University of Hamburg, Department of Informatics Vogt-Kö/lln-Str. 30, 22527 Hamburg, Germany. E-mails: koehler@informatik.uni-hamburg.de/ roelke@informatik.uni-hamburg.de;University of Hamburg, Department of Informatics Vogt-Kö/lln-Str. 30, 22527 Hamburg, Germany. E-mails: koehler@informatik.uni-hamburg.de/ roelke@informatik.uni-hamburg.de
Venue:
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Year:
2006

Citing 4
Cited 5

A linear logic view of object petri nets

Fundamenta Informaticae - Special issue on Petri nets
Nested petri nets - a formalism for specification and verification of multi-agent distributed systems

Fundamenta Informaticae - Special issue on Concurrency specification and programming (CS&P)
Self-Modifying Nets, a Natural Extension of Petri Nets

Proceedings of the Fifth Colloquium on Automata, Languages and Programming
Concurrency in mobile object net systems

Fundamenta Informaticae - Concurrency specification and programming

Dynamic Transition Refinement

Electronic Notes in Theoretical Computer Science (ENTCS)
Web service orchestration with super-dual object nets

ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Formalization of semantics of systems with unreliable agents by means of nets of active resources

Programming and Computing Software
Modelling multiagent systems with the help of generalized nets of active resources

Cybernetics and Systems Analysis
Resource Driven Automata Nets

Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)

Quantified Score

Hi-index	0.01

Visualization

Abstract

Petri nets can be dualised by interchanging the role of places and transitions. This notion of duality is applicable only for unmarked Petri nets, since a marked place would be translated to a marked transition - which is meaningless - in the dual net. In this presentation we study the formalism of super-dual nets which are a generalisation of Petri nets. Super-dual nets allow for marked transitions also. The properties and the relation to other net formalism is studied.