Some considerations on higher-order Petri nets

Authors:
Berndt Farwer;Manfred Kudlek;Kundan Misra
Affiliations:
Fachbereich Informatik, Universität Hamburg, Vogt-Kölln Str. 30, 22527 Hamburg, Germany;Fachbereich Informatik, Universität Hamburg, Vogt-Kölln Str. 30, 22527 Hamburg, Germany;Department of Computer Science, University of Warwick
Venue:
Fundamenta Informaticae - Concurrency specification and programming
Year:
2002

Citing 4
Cited 1

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)
A Systematic Approach towards Object-Based Petri Net Formalisms

PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
Toward a Formal Macroset Theory

WMP '00 Proceedings of the Workshop on Multiset Processing: Multiset Processing, Mathematical, Computer Science, and Molecular Computing Points of View
From Coloured Petri Nets to Object Petri Nets

Proceedings of the 16th International Conference on Application and Theory of Petri Nets

A New Synchronisation Model for Multi-Level Object Petri Nets

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

Quantified Score

Hi-index	0.00

Visualization

Abstract

This paper introduces higher-order Petri nets based on multiset rewriting. Some variations of the firing rule for high-level Petri nets following the nets-within-nets paradigm, i.e. allowing Petri nets as tokens, are discussed. All considerations keep in mind the possibile existence of a universal higher-order Petri net.