The following pages link to (Q3769974):
Displaying 28 items.
- A data-centric approach to manage business processes (Q272165) (← links)
- Formal modeling and verification for MVB (Q364392) (← links)
- Computational challenges in systems biology (Q458470) (← links)
- Relating state-based and process-based concurrency through linear logic (full-version) (Q731895) (← links)
- Petri nets and algebraic specifications (Q804305) (← links)
- Some behavioural aspects of net theory (Q913516) (← links)
- A symbolic reachability graph for coloured Petri nets (Q1392273) (← links)
- \(N\) degrees of separation: Influences of dynamic programming on computer science (Q1584638) (← links)
- Signal preemption control of emergency vehicles based on timed colored Petri nets (Q1727212) (← links)
- Composition colored Petri nets for the refinement of reaction-based models (Q1744368) (← links)
- Towards massively parallel computations in algebraic geometry (Q2040457) (← links)
- Modeling and analysis of network control system based on hierarchical coloured Petri net and Markov chain (Q2045352) (← links)
- Chromar, a rule-based language of parameterised objects (Q2130570) (← links)
- The ins and outs of Petri net composition (Q2165242) (← links)
- An introduction to signed Petri net (Q2230049) (← links)
- An environment for rapid prototyping of interactive systems (Q2277839) (← links)
- Chromar, a language of parameterised agents (Q2422011) (← links)
- A Look Around the Corner: The Pi-Calculus (Q3623819) (← links)
- Mobile Petri nets (Q3655764) (← links)
- Generalized Nets as a Tool for the Modelling of Data Mining Processes (Q4558949) (← links)
- Parallelism, concurrency and distribution in constraint handling rules: A survey (Q4559827) (← links)
- Temporal uncertainty and fuzzy-timing high-level Petri nets (Q4633152) (← links)
- Covering step graph (Q4633181) (← links)
- Relating State-Based and Process-Based Concurrency through Linear Logic (Q4917995) (← links)
- Improving UML with Petri nets1 1This work has been partially supported by Ministero della Ricerca Scientifica e Technologica under the SALADIM Project and by Polipecnico di Milano under the TATOOS Project. (Q4923512) (← links)
- An efficient algorithm for the computation of stubborn sets of well formed Petri Nets (Q5096362) (← links)
- Automatic verification for a class of distributed systems (Q5137900) (← links)
- Algebraic nets with flexible arcs (Q5958125) (← links)
