Coloured Petri nets and the invariant-method
From MaRDI portal
Publication:1159464
DOI10.1016/0304-3975(81)90049-9zbMath0475.68035OpenAlexW2052423355MaRDI QIDQ1159464
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)90049-9
Related Items (33)
Modeling membrane systems using colored stochastic Petri nets ⋮ Automating the conversion of colored Petri nets with qualitative tokens into colored Petri nets with quantitative tokens ⋮ Petri nets with individual tokens ⋮ Generalized Nets as a Tool for the Modelling of Data Mining Processes ⋮ A formal mathematical framework for modeling probabilistic hybrid systems ⋮ Causal behaviours and nets ⋮ Parameterized reachability trees for algebraic Petri nets ⋮ Methods for Efficient Unfolding of Colored Petri Nets ⋮ Efficient modelling of yeast cell cycles based on multisite phosphorylation using coloured hybrid Petri nets with marking-dependent arc weights ⋮ Improvements in unfolding of colored Petri nets ⋮ Reduction and covering of infinite reachability trees ⋮ A formal definition of hierarchical predicate transition nets ⋮ Place/transition nets with debit arcs ⋮ 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 ⋮ Modelling of batch production systems using Petri nets with dynamic tokens ⋮ Spectral performance evaluation of parallel processing systems ⋮ Reachability trees for high-level Petri nets ⋮ Colored Petri nets to model gene mutation and amino acids classification ⋮ WQO dichotomy for 3-graphs ⋮ Colouring fuzziness for systems biology ⋮ Optimized Colored Nets Unfolding ⋮ A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets ⋮ Access Nets: Modeling Access to Physical Spaces ⋮ Deadlock avoidance in an automated guidance vehicle system using a coloured Petri net model ⋮ Decidability Border for Petri Nets with Data: WQO Dichotomy Conjecture ⋮ Structural Place Invariants for Analyzing the Behavioral Properties of Nested Petri Nets ⋮ Tutorial and Survey Articles: An introduction to Petri Nets ⋮ An introduction to FIFO nets - monogeneous nets: a subclass of FIFO nets ⋮ A theory of bipolar synchronization scheme ⋮ Petri nets and algebraic specifications ⋮ Petri nets for modeling of dynamic systems -- a survey
Cites Work
This page was built for publication: Coloured Petri nets and the invariant-method
