scientific article

Publication date: 23 January 1993

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

distributed systems Petri Nets hierarchical Coloured Petri nets high level nets

Computer science aspects of computer-aided design (68U07) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)

Related Items (55)

Petri net modules in the transformation-based component framework ⋮ Clustering for Petri nets ⋮ Operational semantics for Petri net components ⋮ Refinement of coloured petri nets ⋮ Process variety modeling for process configuration in mass customization: an approach based on object-oriented Petri nets with changeable structures ⋮ Mathematical programming approach to the Petri nets reachability problem ⋮ Analysis of VME-bus communication protocol -- RTCP-net approach ⋮ A verifiable low-level concurrent programming model based on colored Petri nets ⋮ Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers ⋮ Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets ⋮ Temporal analysis of data flow control systems ⋮ Unnamed Item ⋮ Solving high-level Petri games ⋮ An algebraic semantics for hierarchical P/T nets ⋮ A class of composable high level Petri nets ⋮ Modular state space analysis of coloured Petri Nets ⋮ From Coloured Petri Nets to Object Petri Nets ⋮ High-level representation of benchmark families for Petri games ⋮ General parameterised refinement and recursion for the M-net calculus ⋮ Nested-unit Petri nets ⋮ Linear constraint systems as high-level nets ⋮ Modelling real world industrial systems: an inter-disciplinary approach based on Petri nets ⋮ Unnamed Item ⋮ Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets ⋮ Approximating the buffer allocation problem using epochs ⋮ Properties of enhanced mobile membranes via coloured Petri nets ⋮ Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells ⋮ Statechartable Petri nets ⋮ Model Checking Data Flows in Concurrent Network Updates ⋮ A formal definition of hierarchical predicate transition nets ⋮ Modelling and analysis of distributed program execution in BETA using coloured Petri Nets ⋮ Arc-typed Petri Nets ⋮ The consistent use of names and polymorphism in the definition of Object Petri Nets ⋮ Experimenting Formal Proofs of Petri Nets Refinements ⋮ Solving recursive net equations ⋮ Formal relationship between graph grammars and Petri nets ⋮ Multiple-objective scheduling and real-time dispatching for the semiconductor manufacturing system ⋮ Unnamed Item ⋮ Solving flexible job-shop scheduling problem using gravitational search algorithm and colored Petri net ⋮ A well-structured framework for analysing Petri net extensions ⋮ A hierarchical decomposition of decision process Petri nets for modeling complex systems ⋮ Inheritance of behavior ⋮ Software modeling and analysis using a hierarchical object-oriented Petri net ⋮ Petri net-based modelling of workflow systems: An overview ⋮ A pragmatic behavior subtyping relation based on both states and actions ⋮ Nested Petri Nets for Adaptive Process Modeling ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ M-nets: a survey ⋮ Tools and Methods for RTCP-Nets Modeling and Verification ⋮ Towards a Standard for Modular Petri Nets: A Formalisation ⋮ Dynamic Slicing Techniques for Petri Nets ⋮ Petri net based scheduling ⋮ Petri net models of flexible and automated manufacturing systems: a survey ⋮ Canonical representations for direct generation of strategies in high-level Petri games ⋮ Multitasking supervisory control of discrete-event systems

This page was built for publication: