Integrating Software Engineering Methods and Petri Nets for the Specification and Prototyping of Complex Information Systems

Analytical version control management in a hypertext system

CIKM '94 Proceedings of the third international conference on Information and knowledge management

Programming languages and systems for prototyping concurrent applications

ACM Computing Surveys (CSUR)

An object-based modular CPN approach: its application to the specification of a cooperative editing environment

Concurrent object-oriented programming and petri nets

A Framework for Model-Based Design of Agent-Oriented Software

IEEE Transactions on Software Engineering

Extensions to the PUIST User Interface Specification Too

SEEP '96 Proceedings of the 1996 International Conference on Software Engineering: Education and Practice (SE:EP '96)

ADK: An Agent Development Kit Based on a Formal Design Model for Multi-Agent Systems

Automated Software Engineering

A Formal Framework and a Tool for the Specification and Analysis of G-Nets Models Based on Graph Transformation

ICDCN '09 Proceedings of the 10th International Conference on Distributed Computing and Networking

A Petri net-based approach to modeling and analysis of component-based distributed real-time systems

SEA '07 Proceedings of the 11th IASTED International Conference on Software Engineering and Applications

From UML Statecharts and Collaboration Diagrams to Coloured Petri Nets Models: A Graph Transformation Based Approach for Modelling and Analysis of Business Processes in Virtual Enterprises

SEEFM '09 Proceedings of the 2009 Fourth South-East European Workshop on Formal Methods

A study of train group operation multi-agent model oriented to RITS

KES'05 Proceedings of the 9th international conference on Knowledge-Based Intelligent Information and Engineering Systems - Volume Part I