System modelling with high-level Petri nets
From MaRDI portal
Publication:1149777
DOI10.1016/0304-3975(81)90113-4zbMath0454.68052OpenAlexW1997422892MaRDI QIDQ1149777
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
Related Items
Petri nets with individual tokens, Modeling rule-based systems by stochastic programmed production systems, Concurrent abstract state machines, Inconsistency check of a set of clauses using Petri net reductions, Knowledge representation and reasoning using fuzzy Pr/T net-systems, Solving high-level Petri games, From petri nets to linear logic, High-level representation of benchmark families for Petri games, Temporal predicate transition nets—a new formalism for specifying and verifying concurrent systems, Coloured Petri nets and the invariant-method, Some behavioural aspects of net theory, Integrating predicate transition nets with first order temporal logic in the specification and verification of concurrent systems, Priority scheduling of distributed systems based on model checking, Achieving distributed control through model checking, High-level Petri-net model for a resource-sharing problem, Specification and performance analysis of embedded systems with coloured Petri nets, A formal definition of hierarchical predicate transition nets, A theoretical framework on proactive information exchange in agent teamwork, Proving nonreachability by modulo-invariants, Formal relationship between graph grammars and Petri nets, Petri net extensions for modelling and validating manufacturing systems, On using abstract models for analysis of flexible manufacturing systems, Representation and Execution of Petri Nets Using Rewriting Logic as a Unifying Framework, Knowledge Based Scheduling of Distributed Systems, A formal notation and tool for the engineering of CORBA systems, Reachability trees for high-level Petri nets, WQO dichotomy for 3-graphs, M-nets: a survey, Access Nets: Modeling Access to Physical Spaces, Modelling and simulation of an intelligent flexible manufacturing system via high-level object Petri nets (HLOPN), Introduction to design choices in the semantics of Statecharts, From Petri nets to linear logic, Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture, Planning without state space explosion: Petri net to Markov decision process, A Behavioural Theory of Recursive Algorithms, An approach to automating the verification of compact parallel coordination programs. I, Modeling production rules by means of predicate transition networks, A theory of bipolar synchronization scheme, Constructing Petri net models using genetic search, Optimising the flow of information within a C3I network., Petri nets and algebraic specifications
Cites Work
