Petri net based simulation of construction schedules
Proceedings of the 29th conference on Winter simulation
Reification, polymorphism and reuse: three principles for designing visual interfaces
AVI '00 Proceedings of the working conference on Advanced visual interfaces
Dual transitions petri net based modelling technique for embedded systems specification
Proceedings of the conference on Design, automation and test in Europe
Schedulability analysis of real time actor systems using coloured petri nets
Concurrent object-oriented programming and petri nets
Automatic Real-Time Analysis of Reactive Systems with the PARTS Toolset
Automated Software Engineering
Verification of Estelle-Specified Communication Protocols Using High-Level Petri Nets
Programming and Computing Software
A Formal and Executable Specification of the Internet Open Trading Protocol
EC-WEB '02 Proceedings of the Third International Conference on E-Commerce and Web Technologies
FAABS '00 Proceedings of the First International Workshop on Formal Approaches to Agent-Based Systems-Revised Papers
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
WMC-CdeA '02 Revised Papers from the International Workshop on Membrane Computing
A Generalised Sweep-Line Method for Safety Properties
FME '02 Proceedings of the International Symposium of Formal Methods Europe on Formal Methods - Getting IT Right
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Reasoning about Algebraic Generalisation of Petri Nets
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Verification of a Revised WAP Wireless Transaction Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
A Formal Service Specification for the Internet Open Trading Protocol
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
The »Petri Net Baukasten«: An Overview
Unifying Petri Nets, Advances in Petri Nets
Modelling the WAP Transaction Service using Coloured Petri Nets
MDA '99 Proceedings of the First International Conference on Mobile Data Access
Qualitative simulation of temporal concurrent processes using Time Interval Petri Nets
Artificial Intelligence
Modelling and initial analysis of operational planning processes using coloured petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
Modeling and simulation of routing protocol for mobile ad hoc networks using colored petri nets
CRPIT '02 Proceedings of the conference on Application and theory of petri nets: formal methods in software engineering and defence systems - Volume 12
CPN Modeling and Analysis of L2TP
ICCNMC '01 Proceedings of the 2001 International Conference on Computer Networks and Mobile Computing (ICCNMC'01)
PX systems = P systems + X machines
Natural Computing: an international journal
Verifying Enterprise 's Mandatory Access Control Policies with Coloured Petri Nets
WETICE '03 Proceedings of the Twelfth International Workshop on Enabling Technologies: Infrastructure for Collaborative Enterprises
Protocol Moderators as Active Middle-Agents in Multi-Agent Systems
Autonomous Agents and Multi-Agent Systems
Defeating Internet Attacks Using Risk Awareness and Active Honeypots
IWIA '04 Proceedings of the Second IEEE International Information Assurance Workshop (IWIA'04)
ACSC '04 Proceedings of the 27th Australasian conference on Computer science - Volume 26
Implementing Coloured Petri Nets Using a Functional Programming Language
Higher-Order and Symbolic Computation
Switched LAN simulation by colored petri nets
Mathematics and Computers in Simulation
Model checking linear logic specifications
Theory and Practice of Logic Programming
Generic Pipelined Processor Modeling and High Performance Cycle-Accurate Simulator Generation
Proceedings of the conference on Design, Automation and Test in Europe - Volume 2
Structured nodes in UML 2.0 activities
Nordic Journal of Computing
From team plan to individual plans: a petri net-based approach
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Local replanning in a team of cooperative agents
Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems
Dual Flow Nets: Modeling the control/data-flow relation in embedded systems
ACM Transactions on Embedded Computing Systems (TECS)
Modeling behavioral design patterns of concurrent objects
Proceedings of the 28th international conference on Software engineering
Modeling and verification of cryptographic protocols using coloured petri nets and design/CPN
Nordic Journal of Computing
Fundamenta Informaticae - Special issue on theory and applications of soft computing (TASC04)
Development of timed colour Petri net simulation models for air cargo terminal operations
Computers and Industrial Engineering - Special issue: Computational intelligence and information technology applications to industrial engineering selected papers from the 33 rd ICC&IE
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Analysis of RTCP-nets with Reachability Graphs
Fundamenta Informaticae
Coding Mobile Synchronizing Petri Nets into Rewriting Logic
Electronic Notes in Theoretical Computer Science (ENTCS)
Architecture-Based Software Reliability Analysis: Overview and Limitations
IEEE Transactions on Dependable and Secure Computing
Cost-based and time-based analysis of DoS-resistance in HIP
ACSC '07 Proceedings of the thirtieth Australasian conference on Computer science - Volume 62
Formal modelling and analysis of mission-critical software in military avionics systems
SCS '06 Proceedings of the eleventh Australian workshop on Safety critical systems and software - Volume 69
Quantifying process equivalence based on observed behavior
Data & Knowledge Engineering
Translating unstructured workflow processes to readable BPEL: Theory and implementation
Information and Software Technology
Distributed norm management in regulated multiagent systems
Proceedings of the 6th international joint conference on Autonomous agents and multiagent systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Representation and simulation of stochastic petrinet models using xPNML
Proceedings of the 39th conference on Winter simulation: 40 years! The best is yet to come
International Journal of Information and Computer Security
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Modelling personnel within a defence logistics maintenance process
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
An investigation of credit-based flow control protocols
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
An Incremental and Modular Technique for Checking LTL\X Properties of Petri Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Decision Tables in Petri Net Models
RSEISP '07 Proceedings of the international conference on Rough Sets and Intelligent Systems Paradigms
Increasing Confidence in Concurrent Software through Architectural Analysis
Ada-Europe '08 Proceedings of the 13th Ada-Europe international conference on Reliable Software Technologies
Model-Based Implementation of Real-Time Systems
SAFECOMP '08 Proceedings of the 27th international conference on Computer Safety, Reliability, and Security
Secure mobile agent environments: modelling role assignments
International Journal of Electronic Security and Digital Forensics
Information and Software Technology
Modeling and verification of the SDL-specified communication protocols using high-level Petri nets
Programming and Computing Software
Value-Driven Coordination Process Design Using Physical Delivery Models
ER '08 Proceedings of the 27th International Conference on Conceptual Modeling
Dynamic Slicing Techniques for Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
Teaching Modelling and Validation of Concurrent Systems Using Coloured Petri Nets
Transactions on Petri Nets and Other Models of Concurrency I
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Fundamenta Informaticae - PETRI NETS 2007
Working with the Past: Integrating History in Petri Nets
Fundamenta Informaticae - PETRI NETS 2007
Information Systems
Computers and Industrial Engineering
A user-centric federated single sign-on system
Journal of Network and Computer Applications
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Distributed multi-layered workload synthesis for testing stream processing systems
Proceedings of the 40th Conference on Winter Simulation
Performance Analysis of the ARIA Adaptive Media Processing Workflows using Colored Petri Nets
Electronic Notes in Theoretical Computer Science (ENTCS)
On Reachability Analysis of Multi Agent Nets
IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences
Development of timed Colour Petri net simulation models for air cargo terminal operations
Computers and Industrial Engineering
Security Analysis of Role Based Access Control Models Using Colored Petri Nets and CPNtools
Transactions on Computational Science IV
An integrated tool for development of overlay services
Proceedings of the 2nd International Conference on Simulation Tools and Techniques
Auctioning Substitutable Goods
Proceedings of the 2005 conference on Artificial Intelligence Research and Development
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Functional specification of probabilistic process models
AAAI'05 Proceedings of the 20th national conference on Artificial intelligence - Volume 2
Representing conversations for scalable overhearing
Journal of Artificial Intelligence Research
Collective intelligence in law enforcement - The WikiCrimes system
Information Sciences: an International Journal
Constructing SCORM compliant course based on High-Level Petri Nets
Computer Standards & Interfaces
Formal Support for QVT-Relations with Coloured Petri Nets
MODELS '09 Proceedings of the 12th International Conference on Model Driven Engineering Languages and Systems
Electronic Notes in Theoretical Computer Science (ENTCS)
Analysis of multi-agent activity using petri nets
Pattern Recognition
Modeling and analysis of an online score system using colored Petri nets
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Modeling and analysis of authentication protocols using colored Petri nets
ASID'09 Proceedings of the 3rd international conference on Anti-Counterfeiting, security, and identification in communication
Reduction of complexity for the analysis of human-machine-interaction
SMC'09 Proceedings of the 2009 IEEE international conference on Systems, Man and Cybernetics
Analysing the WAP class 2 wireless transaction protocol using coloured Petri nets
ICATPN'00 Proceedings of the 21st international conference on Application and theory of petri nets
Coloured Petri nets: status and outlook
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
A process-oriented model for authentication on the basis of a coloured Petri net
BPM'03 Proceedings of the 2003 international conference on Business process management
Modular analysis of dataflow process networks
FASE'03 Proceedings of the 6th international conference on Fundamental approaches to software engineering
Translating Haskell# programs into Petri nets
VECPAR'02 Proceedings of the 5th international conference on High performance computing for computational science
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
Complete process semantics for inhibitor nets
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
An extendable system for conceptual modeling and simulation of signal transduction pathways
ER'07 Proceedings of the 2007 conference on Advances in conceptual modeling: foundations and applications
Model transformation and formal verification for Semantic Web Services composition
Advances in Engineering Software
IITA'09 Proceedings of the 3rd international conference on Intelligent information technology application
Verification and implementation of software for dependable controllers
International Journal of Critical Computer-Based Systems
Using coloured petri nets to model and verify telecommunications systems
CSR'08 Proceedings of the 3rd international conference on Computer science: theory and applications
MaDe4IC: an abstract method for managing model dependencies in inter-organizational cooperations
Service Oriented Computing and Applications
Automatic modeling for performance evaluation of inventory and outbound distribution
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans - Special issue on model-based diagnostics
Formalizing the behavior of biological processes with mobility
UC'10 Proceedings of the 9th international conference on Unconventional computation
Petri nets for modelling metabolic pathways: a survey
Natural Computing: an international journal
A novel approach of process mining with event graph
KES'10 Proceedings of the 14th international conference on Knowledge-based and intelligent information and engineering systems: Part I
Using colored petri nets to predict future states in agent-based scheduling and planning systems
Multiagent and Grid Systems - Advances in Agent-mediated Automated Negotiations
A coloured Petri net analysis of the Transaction Internet Protocol
International Journal of Electronic Security and Digital Forensics
Computing first passage time distributions in stochastic well-formed nets
Proceedings of the 2nd ACM/SPEC International Conference on Performance engineering
Modeling a Jackson networks with series queues using a temporise stochastic coloured Petri nets
SEPADS'11 Proceedings of the 10th WSEAS international conference on Software engineering, parallel and distributed systems
Petri nets-based models for basic authentication procedure
COMATIA'10 Proceedings of the 2010 international conference on Communication and management in technological innovation and academic globalization
Business process management with unified modeling language
DNCOCO'06 Proceedings of the 5th WSEAS international conference on Data networks, communications and computers
A simulation model to improve air cargo operations in passenger aircraft
Proceedings of the 2010 Summer Computer Simulation Conference
Microarchitectural Transformations Using Elasticity
ACM Journal on Emerging Technologies in Computing Systems (JETC)
Generalized state equation for Petri nets
WSEAS TRANSACTIONS on SYSTEMS
Hierarchical timed colored petri nets based product development process modeling
CSCWD'04 Proceedings of the 8th international conference on Computer Supported Cooperative Work in Design I
Verification of automatic train protection systems with RTCP-Nets
SAFECOMP'06 Proceedings of the 25th international conference on Computer Safety, Reliability, and Security
Distributed gridflow model and implementation
NPC'05 Proceedings of the 2005 IFIP international conference on Network and Parallel Computing
Using parametric automata for the verification of the stop-and-wait class of protocols
ATVA'05 Proceedings of the Third international conference on Automated Technology for Verification and Analysis
FORTE'06 Proceedings of the 26th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Using colored petri nets and tools to support mobile terminal and network software development
ICATPN'06 Proceedings of the 27th international conference on Applications and Theory of Petri Nets and Other Models of Concurrency
Dynamic consistency between value and coordination models – research issues
OTM'06 Proceedings of the 2006 international conference on On the Move to Meaningful Internet Systems: AWeSOMe, CAMS, COMINF, IS, KSinBIT, MIOS-CIAO, MONET - Volume Part I
Discovering chatter and incompleteness in the datagram congestion control protocol
FORTE'05 Proceedings of the 25th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
Instance deadlock: a mystery behind frozen programs
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
A component framework for consumer electronics middleware
Component-Based Software Development for Embedded Systems
Analyzing permutation capability of multistage interconnection networks with colored Petri nets
Information Sciences: an International Journal
Integrating fault-tolerant techniques into the design of critical systems
ISARCS'10 Proceedings of the First international conference on Architecting Critical Systems
Model-Based prototyping of an interoperability protocol for mobile ad-hoc networks
IFM'05 Proceedings of the 5th international conference on Integrated Formal Methods
A parametric state space for the analysis of the infinite class of stop-and-wait protocols
SPIN'06 Proceedings of the 13th international conference on Model Checking Software
Formal methods for modeling, refining and verifying autonomic components of computer networks
Transactions on Computational Science XV
Modeling and mining of learnflows
Transactions on Petri Nets and Other Models of Concurrency V
Formal Definition of XCCS Modelling Language
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Complete Process Semantics of Petri Nets
Fundamenta Informaticae
Formalising TCP's Data Transfer Service Language: A Symbolic Automaton and its Properties
Fundamenta Informaticae - Half a Century of Inspirational Research: Honoring the Scientific Influence of Antoni Mazurkiewicz
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Analysis of RTCP-nets with Reachability Graphs
Fundamenta Informaticae
CSR'07 Proceedings of the Second international conference on Computer Science: theory and applications
Automated verification of model transformations based on visual contracts
Automated Software Engineering
Mobile membranes with objects on surface as colored petri nets
CMC'12 Proceedings of the 13th international conference on Membrane Computing
Hi-index | 0.00 |