scientific article
From MaRDI portal
Publication:4001266
zbMath0743.68023MaRDI QIDQ4001266
No author found.
Publication date: 18 September 1992
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Petri netsmultiprocessor architecturePetri Netsreachability treesprotocol modelPredicate Transition Nets
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items
Employing symmetry reductions in model checking, Individuals, populations and fluid approximations: a Petri net based perspective, Petri Nets over Ontological Graphs: Conception and Application for Modelling Tasks of Robots, Petri nets for the design and operation of manufacturing systems, Temporal analysis of data flow control systems, Solving high-level Petri games, An efficient algorithm for the computation of stubborn sets of well formed Petri Nets, Modular state space analysis of coloured Petri Nets, A symbolic reachability graph for coloured Petri nets, Towards a user interface description language based on bigraphs, Timed mobility in process algebra and Petri nets, SOFTWARE ENGINEERING DESIGN METHODOLOGIES AND GENERAL SYSTEMS THEORY, Modified Generalised Fuzzy Petri Nets for Rule-Based Systems, Proving nonreachability by modulo-invariants, Formal relationship between graph grammars and Petri nets, DISTRIBUTED SIMULATION OF HIGH-LEVEL ALGEBRAIC PETRI NETS WITH LIMITED CAPACITY PLACES, Reliability modelling of medium voltage distribution systems of nuclear power plants using generalized stochastic Petri nets, PN Standardisation: A Survey, A structural approach to graph transformation based on symmetric Petri nets, Petri net based scheduling, Petri net models of flexible and automated manufacturing systems: a survey
