Evaluation Based upon Stochastic Petri Nets of the Maximum Throughput of a Full Duplex Protocol

Embedded Processes in Stochastic Petri Nets

IEEE Transactions on Software Engineering

An architecture design and assessment system for software/hardware codesign

DAC '85 Proceedings of the 22nd ACM/IEEE Design Automation Conference

Normalized workflow net (NWF-net): its definition and properties

Future Generation Computer Systems

Design and control of workflow processes: business process management for the service industry

Design and control of workflow processes: business process management for the service industry

One-place unbounded stochastic petri nets: Ergodic criteria and steady-state solutions

Journal of Systems and Software