org.jbpt.petri.querying

Class NetSystemQuerying

java.lang.Object

org.jbpt.petri.querying.AbstractStructuralQuerying<BPN,C,E,F,N,P,T,M>

org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

org.jbpt.petri.querying.NetSystemQuerying

All Implemented Interfaces:

IBehavioralQuerying<Flow,Node,Place,Transition,Marking>, IStructuralQuerying<Flow,Node,Place,Transition,Marking>

public class NetSystemQuerying
extends AbstractUntanglingBasedBehavioralQuerying<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>

This class can be used to check the presence of structural and/or behavioral information in a net system.

Author:

Artem Polyvyanyy

Field Summary

Fields inherited from class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying

untangling

Fields inherited from class org.jbpt.petri.querying.AbstractStructuralQuerying

sys

Constructor Summary

Constructors

Constructor and Description
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys)
NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys, Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)

Method Summary

Methods inherited from class org.jbpt.petri.querying.AbstractUntanglingBasedBehavioralQuerying

cannotOccurAll, cannotOccurAllExpanded, cannotOccurOne, cannotOccurOneExpanded, canOccurAll, canOccurAllExpanded, canOccurOne, canOccurOneExpanded

Methods inherited from class org.jbpt.petri.querying.AbstractStructuralQuerying

areModeledAll, areModeledAllExpanded, getNetSystem, isModeledOne

Methods inherited from class java.lang.Object

clone, equals, finalize, getClass, hashCode, notify, notifyAll, toString, wait, wait, wait

Constructor Detail

NetSystemQuerying

public NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys)

NetSystemQuerying

public NetSystemQuerying(INetSystem<Flow,Node,Place,Transition,Marking> sys,
                 Collection<IProcess<BPNode,Condition,Event,Flow,Node,Place,Transition,Marking>> untangling)