Putting high-level Petri nets to work in industry
Computers in IndustryPublished 1 November 1994Open access
Wil M. P. van der Aalst
Citations74
SJR quartileQ1
SJR score2.21
SNIP3.09
Generate an AI Snapshot to get a quick, structured summary of this paper.
Study Snapshot
ObjectiveStudy objective
MethodsResearch methodology
PopulationPopulation studied
Sample sizeSample sizes
OutcomesStudy outcomes here
ResultsStudy results comes here
LimitationsResearch study limitations comes here
A concise AI-generated summary of the paper will appear here once you click Generate AI Snapshot.
TL;DR
This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical PetriNet model, used to model and analyze a variety of systems in application domains ranging from logistics to office automation.
Abstract
Petri nets exist for over 30 years. Especially in the last decade Petri nets have been put into practive extensively. Thanks to several useful extensions and the availability of computer tools, Petri nets have become a mature tool for modelling and analysing industrial systems. This paper describes an approach based on a high-level Petri net model, i.e. an extended version of the classical Petri net model. This approach has been used to model and analyze a variety of systems in application domains ranging from logistics to office automation.
Keywords
Computer ScienceEngineeringBusiness, Management and Accounting
Proceedings of the IEEEPetri nets: Properties, analysis and applications
10,546 Citations1989T. Murata
The author proceeds with introductory modeling examples, behavioral and structural properties, three methods of analysis, subclasses of Petri nets and their analysis, and one section is devoted to marked graphs, the concurrent system model most amenable to analysis.
Kommunikation mit Automaten
2,078 Citations1962C. A. Petri
The theory of automata is shown not capable of representing the actual physical flow of information in the solution of a recursive problem and a theory of communication is proposed that yields a means of representation that with equal rigor and simplicity accomplishes more than the theory of synchronous automata.
Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use
2,007 Citations2011Kurt Jensen
ACM Transactions on Computer SystemsA class of generalized stochastic Petri nets for the performance evaluation of multiprocessor systems
1,326 Citations1984Marco Ajmone Marsan, G. Conte +1 more
It is shown that GSPN are equivalent to continuous-time stochastic processes, and solution methods for the derivation of the steady state probability distribution are presented.
IEEE Transactions on Software EngineeringModeling and verification of time dependent systems using time Petri nets
1,063 Citations1991Bernard Berthomieu, M. Díaz
An enumerative method is proposed in order to exhaustively validate the behavior of Merlin's time Petri net model and it is applied to the specification and verification of the alternating bit protocol as a simple illustrative example.
Lecture notes in computer scienceColoured petri nets: A high level language for system design and analysis
454 Citations1991Kurt Jensen
This paper describes how Coloured Petri Nets have been developed — from being a promising theoretical model to being a full-fledged language for the design, specification, simulation, validation and implementation of large software systems.
Lecture notes in computer sciencePetri nets and flexible manufacturing
233 Citations1990Manuel Silva, Robert Valette
The aim of this invited survey is to introduce Computer science/Petri nets specialists to the basic system level issues brought up by the development of Flexible Manufacturing and how Petri nets are used to aid the production engineers in their work.
Lecture notes in computer scienceInterval timed coloured petri nets and their analysis
177 Citations1993Wil M. P. van der Aalst
The Interval Timed Coloured Petri Net (ITCPN) model allows the modelling of the dynamic behaviour of large and complex systems, without losing the possibility of formal analysis.
ComputerSpecial Feature: Putting Petri Nets to Work
176 Citations1979Agerwala
Today's modeling tools, appropriate for conventional sequential systems, will be inadequate for the complex concurrent systems of the 80's, and petri nets may offer a solution.
Lecture notes in computer scienceApplication and Theory of Petri Nets 1992
101 Citations1992Kathleen Jensen
Information Systems Engineering: A Formal Approach
83 Citations1994K.M. van Hee
An integrated formalism is developed that can be used as a prototyping language for discrete dynamic systems, e.g. computer hardware, information and logistical systems, and a binary data model, extended with complex objects.
A class of generalised stochastic petri nets for the performance evaluation of multiprocessor systems
66 Citations1983M. Ajmone Marsan, Gianfranco Balbo +1 more
Graph models have been proposed by many authors as a useful tool for the analysis of peculiar features of computer systems such as concurrency, synchronization, communication, and cooperation among subsystems.
General Hospital PsychiatryExecutable specifications for distributed information systems
56 Citations1989K.M. van Hee, Lou Somers +1 more
Elsevier eBooksDynamic Modelling of Information Systems
51 Citations1991
This chapter discusses Dynamic Modelling of Information Systems: Refining the Research Agenda, a Conceptual Framework for Evolving Information Systems, and new Research Problems in Dynamic Modelled of Information systems.