The following pages link to (Q4220896):
Displaying 41 items.
- Transforming web services choreographies with priorities and time constraints into prioritized-time colored Petri nets (Q436361) (← links)
- The formalization of decision-free Petri net (Q467809) (← links)
- Modeling concurrency with interval traces (Q515576) (← links)
- On the composition of time Petri nets (Q645045) (← links)
- Supervisory controller design to enforce some basic properties in timed-transition Petri nets using stretching (Q665122) (← links)
- Reachability results for timed automata with unbounded data structures (Q707597) (← links)
- Petri net-based approach to short-term scheduling of crude oil operations with less tank requirement (Q778456) (← links)
- Mathematical programming approach to the Petri nets reachability problem (Q856211) (← links)
- Modeling the process of human body iron homeostasis using a variant of timed Petri nets (Q1026173) (← links)
- Advances in Petri nets 1989. 9th European workshop on applications and theory of Petri nets, Venice, Italy in June 1988. Proceedings (Q1188663) (← links)
- Recursive equations and basic properties of timed Petri nets (Q1198591) (← links)
- Advances in Petri nets 1993. APN 93 (Q1308642) (← links)
- A brief survey and synthesis of the roles of time in Petri nets. (Q1597067) (← links)
- On persistency in time Petri nets (Q1631221) (← links)
- Interval semantics for Petri nets with inhibitor arcs (Q1749475) (← links)
- Analysis of discrete event systems by simulation of timed Petri net models (Q1861527) (← links)
- Timed Petri nets in modeling and analysis of simple schedules for manufacturing cells (Q1963056) (← links)
- Supervisor synthesis and throughput optimization of partially-controllable manufacturing systems (Q2058495) (← links)
- Timed Petri nets with reset for pipelined synchronous circuit design (Q2117152) (← links)
- A Petri net approach for the design and analysis of web services choreographies (Q2390034) (← links)
- State equations of stochastic timed Petri nets with informational relations (Q2452747) (← links)
- TCTL-preserving translations from timed-arc Petri nets to networks of timed automata (Q2453531) (← links)
- Analysis of reachability and prohibitibility of a class of coloured Petri nets with interval timed arcs (Q2744493) (← links)
- Time and Petri Nets (Q2864227) (← links)
- Expressiveness of verifiable hierarchical clock systems (Q3005130) (← links)
- (Q3045259) (← links)
- Verification of Timed-Arc Petri Nets (Q3075507) (← links)
- Comparing the Expressiveness of Timed Automata and Timed Extensions of Petri Nets (Q3543285) (← links)
- (Q3696527) (← links)
- ON THE CALCULATION OF THE TRANSFER FUNCTION OF TIMED EVENT PETRI NETS (Q4372899) (← links)
- (Q4533005) (← links)
- (Q4558015) (← links)
- Full Axiomatisation of Timed Processes of Interval-Timed Petri Nets (Q4637907) (← links)
- (Q4818749) (← links)
- Structural matrices for Signed Petri net (Q5097774) (← links)
- On Multi-enabledness in Time Petri Nets (Q5300869) (← links)
- Formal Methods for the Design of Real-Time Systems (Q5494305) (← links)
- Computational Science - ICCS 2004 (Q5712705) (← links)
- AI 2005: Advances in Artificial Intelligence (Q5898087) (← links)
- Biconvex programming approach to optimization over the weakly efficient set of a multiple objective affine fractional problem (Q5940038) (← links)
- Timed Petri nets and temporal linear logic (Q6487374) (← links)
