The following pages link to (Q2740516):
Displaying 26 items.
- Individuals, populations and fluid approximations: a Petri net based perspective (Q313335) (← links)
- A verifiable low-level concurrent programming model based on colored Petri nets (Q350966) (← links)
- Fluctuation-driven computing on number-conserving cellular automata (Q454911) (← links)
- On fluidization of discrete event models: Observation and control of continuous Petri nets (Q763410) (← links)
- Stochastic DES fault diagnosis with coloured interpreted Petri nets (Q1665297) (← links)
- Identification of stochastic timed discrete event systems with st-IPN (Q1719235) (← links)
- Modeling and solving rich quay crane scheduling problems (Q1761126) (← links)
- Property-preserving subnet reductions for designing manufacturing systems with shared resources (Q1770402) (← links)
- Analysis of safeness in a Petri net-based specification of the control part of cyber-physical systems (Q2115918) (← links)
- Deciphering the co-car anomaly of circular traffic queues using Petri nets (Q2117190) (← links)
- Interpreted synchronous extension of time Petri nets. Definition, semantics and formal analysis (Q2128086) (← links)
- Modal algebra and Petri nets (Q2340252) (← links)
- Nondeterministic probabilistic Petri net -- a new method to study qualitative and quantitative behaviors of system (Q2637309) (← links)
- Transformation of variants of Petri nets into context-dependent fusion grammars (Q2672655) (← links)
- Signal Transduction Pathways as Concurrent Reactive Systems: A Modeling and Simulation Approach Using LSCs and the Play-Engine (Q2870306) (← links)
- A Rigorous Model of Service Component Architecture (Q2873686) (← links)
- A Distributed Computing Model for Dataflow, Controlflow, and Workflow in Fractionated Cyber-Physical Systems (Q2944903) (← links)
- Modular Modelling of Software Product Lines with Feature Nets (Q3095246) (← links)
- Decompositional Petri Net Reductions (Q3605479) (← links)
- An Incremental and Modular Technique for Checking LTL∖X Properties of Petri Nets (Q3612361) (← links)
- (Q4553276) (← links)
- Structured Cospans (Q5137917) (← links)
- Open Petri nets (Q5139283) (← links)
- A Hybrid Approach to Modeling Biological Systems (Q5452054) (← links)
- Introduction to Petri Nets (Q5496928) (← links)
- Minimal generating sets for semiflows (Q6535470) (← links)
