The following pages link to (Q4023496):
Displaying 34 items.
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- Approximating the buffer allocation problem using epochs (Q436884) (← links)
- Properties of enhanced mobile membranes via coloured Petri nets (Q437686) (← links)
- Statechartable Petri nets (Q470022) (← links)
- Multitasking supervisory control of discrete-event systems (Q816701) (← links)
- Process variety modeling for process configuration in mass customization: an approach based on object-oriented Petri nets with changeable structures (Q850874) (← links)
- Mathematical programming approach to the Petri nets reachability problem (Q856211) (← links)
- Analysis of VME-bus communication protocol -- RTCP-net approach (Q862530) (← links)
- Multiple-objective scheduling and real-time dispatching for the semiconductor manufacturing system (Q955622) (← links)
- M-nets: a survey (Q1006339) (← links)
- Temporal analysis of data flow control systems (Q1129680) (← links)
- General parameterised refinement and recursion for the M-net calculus (Q1399968) (← links)
- Modelling real world industrial systems: an inter-disciplinary approach based on Petri nets (Q1404676) (← links)
- Modeling transmission of directly transmitted infectious diseases using colored stochastic Petri nets (Q1408743) (← links)
- Solving flexible job-shop scheduling problem using gravitational search algorithm and colored Petri net (Q1760793) (← links)
- A well-structured framework for analysing Petri net extensions (Q1763373) (← links)
- Clustering for Petri nets (Q1884880) (← links)
- Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells (Q1963056) (← links)
- Canonical representations for direct generation of strategies in high-level Petri games (Q2117156) (← links)
- Solving high-level Petri games (Q2182671) (← links)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Nested-unit Petri nets (Q2423743) (← links)
- Petri net based scheduling (Q2564338) (← links)
- (Q2842866) (← links)
- Modeling Quantitative Aspects of Concurrent Systems Using Weighted Petri Net Transducers (Q2941142) (← links)
- Nested-Unit Petri Nets: A Structural Means to Increase Efficiency and Scalability of Verification on Elementary Nets (Q2941150) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- Model Checking Data Flows in Concurrent Network Updates (Q3297609) (← links)
- Tools and Methods for RTCP-Nets Modeling and Verification (Q4971674) (← links)
- Dynamic Slicing Techniques for Petri Nets (Q4982092) (← links)
- Refinement of coloured petri nets (Q5055925) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- (Q5875399) (← links)
