The following pages link to (Q4023496):
Displayed 32 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)
- 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)
- Petri net modules in the transformation-based component framework (Q2369035) (← links)
- Operational semantics for Petri net components (Q2373704) (← links)
- Petri net based scheduling (Q2564338) (← links)
- (Q2842866) (← links)
- A Language for Biochemical Systems: Design and Formal Specification (Q3068848) (← links)
- A hierarchical decomposition of decision process Petri nets for modeling complex systems (Q3587065) (← links)
- Towards a Standard for Modular Petri Nets: A Formalisation (Q3636839) (← links)
- Petri net models of flexible and automated manufacturing systems: a survey (Q4230288) (← links)
- (Q4719121) (← links)
- Experimenting Formal Proofs of Petri Nets Refinements (Q5403468) (← links)
- Nested Petri Nets for Adaptive Process Modeling (Q5452192) (← links)
- Inheritance of behavior (Q5943265) (← links)
- Software modeling and analysis using a hierarchical object-oriented Petri net (Q5946273) (← links)
- Petri net-based modelling of workflow systems: An overview (Q5952515) (← links)
- A pragmatic behavior subtyping relation based on both states and actions (Q5959362) (← links)