System modelling with high-level Petri nets

DOI10.1016/0304-3975(81)90113-4MaRDI QIDQ1149777zbMATH OpenOpenAlexFDO

Authors Hartmann J. Genrich, Kurt Lautenbach

Publication date 1981

Published in Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/0304-3975(81)90113-4

zbMATH Keywords

invariantsnet behavior

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(43)

• M-nets: a survey
• An approach to automating the verification of compact parallel coordination programs. I
• Modeling production rules by means of predicate transition networks
• Petri nets with individual tokens
• Modeling rule-based systems by stochastic programmed production systems
• Inconsistency check of a set of clauses using Petri net reductions
• Coloured Petri nets and the invariant-method
• Constructing Petri net models using genetic search
• Optimising the flow of information within a C3I network.
• Knowledge representation and reasoning using fuzzy Pr/T net-systems
• Specification and performance analysis of embedded systems with coloured Petri nets
• Solving high-level Petri games
• A theoretical framework on proactive information exchange in agent teamwork
• Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture
• Concurrent abstract state machines
• Access nets: modeling access to physical spaces
• Planning without state space explosion: Petri net to Markov decision process
• Knowledge based scheduling of distributed systems
• Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems
• Petri net extensions for modelling and validating manufacturing systems
• On using abstract models for analysis of flexible manufacturing systems
• Priority scheduling of distributed systems based on model checking
• Achieving distributed control through model checking
• A formal definition of hierarchical predicate transition nets
• Formal relationship between graph grammars and Petri nets
• From Petri nets to linear logic
• A formal notation and tool for the engineering of CORBA systems
• Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework
• A behavioural theory of recursive algorithms
• From Petri nets to linear logic
• Modelling and simulation of an intelligent flexible manufacturing system via high-level object Petri nets (HLOPN)
• Reachability trees for high-level Petri nets
• WQO dichotomy for 3-graphs
• High-level representation of benchmark families for Petri games
• Modeling and solving constraint satisfaction problems through Petri nets
• Proving nonreachability by modulo-invariants
• Bi-reachability in Petri nets with data
• Introduction to design choices in the semantics of Statecharts
• A theory of bipolar synchronization scheme
• Petri nets and algebraic specifications
• Some behavioural aspects of net theory
• Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems
• High-level Petri-net model for a resource-sharing problem

This page was built for publication: System modelling with high-level Petri nets

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1149777)