A Class of Well Structured Petri Nets for Flexible Manufacturing Systems
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
A petri-net-based synthesis methodology for use-case-driven system design
Journal of Systems and Software
Property-preserving subnet reductions for designing manufacturing systems with shared resources
Theoretical Computer Science
Checking system boundedness using ordinary differential equations
Information Sciences: an International Journal
Defining composition operators for BPMN
SC'12 Proceedings of the 11th international conference on Software Composition
Hi-index | 0.00 |