IEEE Transactions on Software Engineering
Modular Algebraic Nets to Specify Concurrent Systems
IEEE Transactions on Software Engineering
Integration and Analysis of Use Cases Using Modular Petri Nets in Requirements Engineering
IEEE Transactions on Software Engineering
Workflow management based on process model repositories
Proceedings of the 20th international conference on Software engineering
KRON: knowledge engineering approach based on the integration of CPNs with objects
Concurrent object-oriented programming and petri nets
Modeling a library with THORNs
Concurrent object-oriented programming and petri nets
Flexible and Reliable Process Model Properties: An Integrated Approach
FM-Trends 98 Proceedings of the International Workshop on Current Trends in Applied Formal Method: Applied Formal Methods
Computing communication cost by Petri nets for hardware/software codesign
RSP '97 Proceedings of the 8th International Workshop on Rapid System Prototyping (RSP '97) Shortening the Path from Specification to Prototype
FUNSOFT nets: a Petri-net based software process modeling language
IWSSD '91 Proceedings of the 6th international workshop on Software specification and design
From team plan to individual plans: a petri net-based approach
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Project planning using an interactive, structured modeling environment
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
Energy consumption and execution time estimation of embedded system applications
Microprocessors & Microsystems
A hierarchical constraint-based approach to modeling construction and manufacturing processes
Winter Simulation Conference
EXHOST-PIPE: PIPE extended for two classes of monitoring Petri nets
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Mechanization Of Real-Time Linear Csp With Higher Order Logic
Fundamenta Informaticae
Foresight: a graphically based approach to modeling construction processes
Proceedings of the Winter Simulation Conference
Foresight versus simulation: construction planning using graphical constraint-based modeling
Proceedings of the Winter Simulation Conference
Hi-index | 0.00 |