Pages that link to "Item:Q2740516"

The following pages link to Petri nets for system engineering. A guide to modeling, verification, and applications (Q2740516):

Displaying 33 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)
• Modeling telecom networks and systems architecture. Conceptual tools and formal methods (Q2732652) (← 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)
• Coloured Petri Nets (Q3617245) (← links)
• (Q3732970) (← links)
• Petri-Netz-Methoden und -Werkzeuge. Hilfsmittel zur Entwurfsspezifikation und -validation von Rechensystemen (Q3995075) (← links)
• (Q4519296) (← links)
• (Q4553276) (← links)
• Understanding Petri Nets (Q4911790) (← 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)
• Lectures on Concurrency and Petri Nets (Q5712277) (← links)
• Minimal generating sets for semiflows (Q6535470) (← links)